Oege de Moor: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generic functional programming with types and relations

Bird, Richard, De Moor, Oege, Hoogendijk, Paul

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.31 MB

english, 1996

2

[ACM Press the 2011 international conference - Athens, Greece (2011.06.12-2011.06.16)] Proceedings of the 2011 international conference on Management of data - SIGMOD '11 - A memory efficient reachability data structure through bit vector compression

van Schaik, Sebastiaan J., de Moor, Oege

Year:

2011

Language:

english

File:

PDF, 984 KB

english, 2011

3

[ACM Press the 2008 ACM SIGMOD international conference - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08 - Adding magic to an optimising datalog compiler

Sereni, Damien, Avgustinov, Pavel, de Moor, Oege

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

4

More haste, less speed: lazy versus eager evaluation

BIRD, RICHARD, JONES, GERAINT, DE MOOR, OEGE

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 120 KB

english, 1997

5

An algebraic construction of predicate transformers

Paul H.B. Gardiner, Clare E. Martin, Oege de Moor

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 1.44 MB

english, 1994

6

Editorial

Olivier Danvy, Oege de Moor, Julian Padget, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

7

Universal Regular Path Queries

Oege de Moor, David Lacey, Eric Van Wyk

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 244 KB

english, 2003

8

[ACM Press Companion to the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05 - abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research

Allan, Chris, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh, Tibble, Julian, Verbrugge, Clark, Avgustinov, Pavel, Christensen, Aske Simon, Dufour, Bruno, Goard, Christopher, Hendren, Laurie, Kuzi

Year:

2005

Language:

english

File:

PDF, 52 KB

english, 2005

9

Container types categorically

HOOGENDIJK, PAUL, DE MOOR, OEGE

Journal:

Journal of Functional Programming

Year:

2000

Language:

english

File:

PDF, 321 KB

english, 2000

10

[ACM Press the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08 - Sound and extensible renaming for java

Schäfer, Max, Ekman, Torbjörn, de Moor, Oege

Year:

2008

Language:

english

File:

PDF, 255 KB

english, 2008

11

Inductive data types for predicate transformers

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 430 KB

english, 1992

12

Preface

Brian Barry, Oege de Moor

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 94 KB

english, 2004

13

Bridging the algorithm gap: A linear-time functional program for paragraph formatting

Oege de Moor, Jeremy Gibbons

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 133 KB

english, 1999

14

Higher-order matching for program transformation

Oege de Moor, Ganesh Sittampalam

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

15

[Lecture Notes in Computer Science] Datalog Reloaded Volume 6702 || Datalog for the Web 2.0: The Case of Social Network Data Management

de Moor, Oege, Gottlob, Georg, Furche, Tim, Sellers, Andrew

Year:

2011

Language:

english

File:

PDF, 91 KB

english, 2011

16

Categories, relations and dynamic programming

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 2.29 MB

english, 1994

17

[Lecture Notes in Computer Science] Compiler Construction Volume 5501 || Register Spilling and Live-Range Splitting for SSA-Form Programs

de Moor, Oege, Schwartzbach, Michael I.

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

18

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Keynote Address: .QL for Source Code Analysis

Moor, Oege de, Verbaere, Mathieu, Hajiyev, Elnar, Avgustinov, Pavel, Ekman, Torbjorn, Ongkingco, Neil, Sereni, Damien, Tibble, Julian

Year:

2007

Language:

english

File:

PDF, 309 KB

english, 2007

19

[ACM Press the 4th international conference - Chicago, Illinois (2005.03.14-2005.03.18)] Proceedings of the 4th international conference on Aspect-oriented software development - AOSD '05 - abc

Avgustinov, Pavel, Tibble, Julian, Christensen, Aske Simon, Hendren, Laurie, Kuzins, Sascha, Lhoták, Jennifer, Lhoták, Ondřej, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh

Year:

2005

Language:

english

File:

PDF, 125 KB

english, 2005

20

[ACM Press Companion to the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05 - CodeQuest

Hajiyev, Elnar, Verbaere, Mathieu, de Moor, Oege, de Volder, Kris

Year:

2005

Language:

english

File:

PDF, 75 KB

english, 2005

21

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - JunGL

Verbaere, Mathieu, Ettinger, Ran, de Moor, Oege

Year:

2006

Language:

english

File:

PDF, 202 KB

english, 2006

22

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Improve software quality with SemmleCode

Verbaere, Mathieu, Hajiyev, Elnar, De Moor, Oege

Year:

2007

Language:

english

File:

PDF, 709 KB

english, 2007

23

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Optimising aspectJ

Avgustinov, Pavel, Tibble, Julian, Christensen, Aske Simon, Hendren, Laurie, Kuzins, Sascha, Lhoták, Jennifer, Lhoták, Ondřej, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh

Year:

2005

Language:

english

File:

PDF, 190 KB

english, 2005

24

Adding trace matching with free variables to AspectJ

Allan, Chris, Tibble, Julian, Avgustinov, Pavel, Christensen, Aske Simon, Hendren, Laurie, Kuzins, Sascha, Lhoták, Ondřej, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

25

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Semantics of static pointcuts in aspectJ

Avgustinov, Pavel, Hajiyev, Elnar, Ongkingco, Neil, de Moor, Oege, Sereni, Damien, Tibble, Julian, Verbaere, Mathieu

Year:

2007

Language:

english

File:

PDF, 662 KB

english, 2007

26

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Specifying and implementing refactorings

Schaefer, Max, de Moor, Oege

Year:

2010

Language:

english

File:

PDF, 654 KB

english, 2010

27

[ACM Press the 19th annual ACM SIGPLAN Conference - Vancouver, BC, Canada (2004.10.24-2004.10.28)] Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04 - Measuring the dynamic behaviour of AspectJ programs

Dufour, Bruno, Goard, Christopher, Hendren, Laurie, de Moor, Oege, Sittampalam, Ganesh, Verbrugge, Clark

Year:

2004

Language:

english

File:

PDF, 222 KB

english, 2004

28

[ACM Press the 5th international conference - Bonn, Germany (2006.03.20-2006.03.24)] Proceedings of the 5th international conference on Aspect-oriented software development - AOSD '06 - Adding open modules to AspectJ

Ongkingco, Neil, Avgustinov, Pavel, Tibble, Julian, Hendren, Laurie, de Moor, Oege, Sittampalam, Ganesh

Year:

2006

Language:

english

File:

PDF, 309 KB

english, 2006

29

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Datalog as a pointcut language in aspect-oriented programming

Hajiyev, Elnar, Ongkingco, Neil, Avgustinov, Pavel, de Moor, Oege, Sereni, Damien, Tibble, Julian, Verbaere, Mathieu

Year:

2006

Language:

english

File:

PDF, 77 KB

english, 2006

30

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - A comparison of compilation techniques for trace monitors with free variables

Avgustinov, Pavel, Tibble, Julian, de Moor, Oege

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

31

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Type inference for datalog with complex type hierarchies

Schäfer, Max, de Moor, Oege

Year:

2010

Language:

english

File:

PDF, 489 KB

english, 2010

32

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Incremental execution of transformation specifications

Sittampalam, Ganesh, de Moor, Oege, Larsen, Ken Friis

Year:

2004

Language:

english

File:

PDF, 189 KB

english, 2004

33

[ACM Press the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '08 - Type inference for datalog and its application to query optimisation

de Moor, Oege, Sereni, Damien, Avgustinov, Pavel, Verbaere, Mathieu

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

34

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesising graphics card programs from DSLs

Cartey, Luke, Lyngsø, Rune, de Moor, Oege

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

35

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Efficient trace monitoring

Avgustinov, Pavel, Tibble, Julian, Bodden, Eric, Hendren, Laurie, Lhotak, Ondrej, de Moor, Oege, Ongkingco, Neil, Sittampalam, Ganesh

Year:

2006

Language:

english

File:

PDF, 183 KB

english, 2006

36

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Scripting refactorings with JunGL

Verbaere, Mathieu, Payement, Arnaud, de Moor, Oege

Year:

2006

Language:

english

File:

PDF, 68 KB

english, 2006

37

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Adding trace matching with free variables to AspectJ

Allan, Chris, Tibble, Julian, Avgustinov, Pavel, Christensen, Aske Simon, Hendren, Laurie, Kuzins, Sascha, Lhoták, Ondřej, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

38

[ACM Press the 2nd international conference - Boston, Massachusetts (2003.03.17-2003.03.21)] Proceedings of the 2nd international conference on Aspect-oriented software development - AOSD '03 - Static analysis of aspects

Sereni, Damien, de Moor, Oege

Year:

2003

Language:

english

File:

PDF, 1.06 MB

english, 2003

39

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Tracking Static Analysis Violations over Time to Capture Developer Characteristics

Avgustinov, Pavel, Baars, Arthur I., Henriksen, Anders S., Lavender, Greg, Menzel, Galen, Moor, Oege de, Schafer, Max, Tibble, Julian

Year:

2015

Language:

english

File:

PDF, 756 KB

english, 2015

40

Compiling embedded languages

ELLIOTT, CONAL, FINNE, SIGBJRN, DE MOOR, OEGE

Journal:

Journal of Functional Programming

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

41

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Keynote Address: .QL for Source Code Analysis

Moor, Oege de, Verbaere, Mathieu, Hajiyev, Elnar, Avgustinov, Pavel, Ekman, Torbjorn, Ongkingco, Neil, Sereni, Damien, Tibble, Julian

Year:

2007

Language:

english

File:

PDF, 309 KB

english, 2007

42

Semantics of static pointcuts in aspectJ

Avgustinov, Pavel, Hajiyev, Elnar, Ongkingco, Neil, de Moor, Oege, Sereni, Damien, Tibble, Julian, Verbaere, Mathieu

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 662 KB

english, 2007

43

Making trace monitors feasible

Avgustinov, Pavel, Tibble, Julian, de Moor, Oege

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 824 KB

english, 2007

44

Type inference for datalog with complex type hierarchies

Schäfer, Max, de Moor, Oege

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 489 KB

english, 2010

45

Specifying and implementing refactorings

Schaefer, Max, de Moor, Oege

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 654 KB

english, 2010

46

Incremental execution of transformation specifications

Sittampalam, Ganesh, de Moor, Oege, Larsen, Ken Friis

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 189 KB

english, 2004

47

Measuring the dynamic behaviour of AspectJ programs

Dufour, Bruno, Goard, Christopher, Hendren, Laurie, de Moor, Oege, Sittampalam, Ganesh, Verbrugge, Clark

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 222 KB

english, 2004

48

Synthesising graphics card programs from DSLs

Cartey, Luke, Lyngsø, Rune, de Moor, Oege

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски